Normalization of Sequential Top-Down Tree-to-Word Transducers
نویسندگان
چکیده
We study normalization of deterministic sequential top-down tree-to-word transducers (stws), that capture the class of deterministic top-down nested-word to word transducers. We identify the subclass of earliest stws (estws) that yield unique normal forms when minimized. The main result of this paper is an effective normalization procedure for stws. It consists of two stages: we first convert a given stw to an equivalent estw, and then, we minimize the estw.
منابع مشابه
Learning Sequential Tree-to-Word Transducers
We study the problem of learning sequential top-down tree-toword transducers (stws). First, we present a Myhill-Nerode characterization of the corresponding class of sequential tree-to-word transformations (ST W). Next, we investigate what learning of stws means, identify fundamental obstacles, and propose a learning model with abstain. Finally, we present a polynomial learning algorithm.
متن کاملDeciding Equivalence of Linear Tree-to-Word Transducers in Polynomial Time
We show that the equivalence of deterministic linear top-down treeto-word transducers is decidable in polynomial time. Linear tree-to-word transducers are non-copying but not necessarily order-preserving and can be used to express XML and other document transformations. The result is based on a partial normal form that provides a basic characterization of the languages produced by linear tree-t...
متن کاملTop-Down Tree-To-Graph Transducers
We introduce a new syntax-directed translation device called top-down treeto-graph transducer. Such transducers are very similar to the usual top-down tree trans ducers except that the right-hand sides of their rules are hypergraphs rather than trees. Since we are aiming at a device which also allows to translate trees into objects ditTerent from graphs, we focus our attention on so-called tree...
متن کاملThe Translation Power of Top-Down Tree-to-Graph Transducers
We introduce a new syntax-directed translation device called top-down tree-to-graph transducer. Such transducers are very similar to the usual (total deterministic) top-down tree transducers except that the right-hand sides of their rules are hypergraphs rather than trees. Since we are aiming at a device which also allows us to translate trees into objects different from graphs, we focus our at...
متن کاملOn normalization and type checking for tree transducers
Tree transducers are an expressive formalism for reasoning about tree structured data. Practical applications range from XSLT-like document transformations to translations of natural languages. Important problems for transducers are to decide whether two transducers are equivalent, to construct normal forms, give semantic characterizations, and type checking, i.e., to check whether the produced...
متن کامل